1421. Recent trends in algebraic development techniques : 12th International Workshop, WADT'97, Tarquinia, Italy, June 3-7, 1997 : selected papers
پدیدآورنده : Francesco Parisi Presicce, )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، Computer science -- Mathematics,Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
1376
1422. Recent trends in algebraic development techniques : 15th international Workshop, WADT 2001, joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001 : selected papers
پدیدآورنده : Maura Cerioli, Gianna Reggio )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Abstract data types )Computer science(,Congresses ، Computer science -- Mathematics,Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
2267
1423. Recent trends in algebraic development techniques : 16th international workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers
پدیدآورنده : Martin Wirsing, Dirk Pattinson, Rolf Hennicker )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، Computer science -- Mathematics,Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
2755
1424. Recent trends in algebraic development techniques: 15th international workshop, WADT 2001 Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001: selected papers
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Computer software-- Development,Congresses ، Computer science-- Mathematics,Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
76
.
D47
.
W33
2001
1425. Rechnen in der Chemie :
پدیدآورنده : von Walter Wittenberger.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Chemistry -- Mathematics.,Computer science.,Mathematics.
رده :
QD42
.
V669
1971
1426. Relational and Algebraic Methods in Computer Science
پدیدآورنده : \ Wolfram Kahl , Michael Winter, José N. Oliveira (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science -- Mathematics -- Congresses.,Algebraic logic -- Congresses.,Relation algebras -- Congresses.,علوم کامپیوتر -- ریاضیات -- کنگره‌ها ,منطق جبری -- کنگره ها
رده :
QA
76
.
9
.
M35R4
2015
E-Book
,
1427. Relational and algebraic methods in computer science :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer science ; Mathematics ; Congresses. ;
1428. Relational and algebraic methods in computer science :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer science ; Mathematics ; Congresses. ;
1429. Relational and algebraic methods in computer science :
پدیدآورنده : Jules Desharnais, Walter Guttmann, Stef Joosten (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Algebraic logic, Congresses.,Computer science-- Mathematics, Congresses.,Relation algebras, Congresses.,Algebraic logic.,Artificial intelligence.,Computer programming-- software development.,Computer science-- Mathematics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Relation algebras.
رده :
QA76
.
9
.
M35
1430. Relational and algebraic methods in computer science :
پدیدآورنده : Wolfram Kahl, Timothy G. Griffin (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science-- Mathematics, Congresses.
رده :
QA76
.
9
.
M35
R36
2012eb
1431. Relational mathematics
پدیدآورنده : Schmidt, Gunther, 9391-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer science -- Mathematics,Mathematics ، Operations research
رده :
QA
76
.
9
.
M35S395
1432. Relational mathematics /
پدیدآورنده : Gunther Schmidt
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science-- Mathematics,Operations research-- Mathematics
رده :
QA76
.
9
.
M35
S36
2011
1433. Relational methods in computer science
پدیدآورنده : C. Brink, W. Kahl, G. Schmidt, eds.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Aufsatzsammlung.,Computer science -- Mathematics.,Relation algebras.
رده :
QA76
.
9
.
M35
C375
1997
1434. Relations and graphs : discrete mathematics for computer scientists
پدیدآورنده : Schmidt, Gunther
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Computer science - Mathematics
رده :
QA
76
.
9
.
M35
S34
1993
1435. Representations for Genetic and Evolutionary Algorithms
پدیدآورنده : by Franz Rothlauf.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Engineering mathematics.
1436. Resources for teaching discrete mathematics :
پدیدآورنده : edited by Brian Hopkins
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science-- Mathematics-- Study and teaching (Higher)-- United States,Mathematics-- Study and teaching (Higher)-- United States
رده :
QA13
.
R4768
2009
1437. Reversible computation :
پدیدآورنده : Michael Kirkedal Thomsen, Mathias Soeken (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer logic, Congresses.,Computer science-- Mathematics, Congresses.,Reversible computing, Congresses.,Computer logic.,Computer science-- Mathematics.,Reversible computing.
رده :
QA76
.
9
.
R48
1438. Reversible computation :
پدیدآورنده : Robert Glück, Tetsuo Yokoyama (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer logic -- Congresses.,Computer science -- Mathematics -- Congresses.,Reversible computing -- Congresses.
رده :
QA76
.
9
.
L63
R634
2013
1439. Riemann Solvers and Numerical Methods for Fluid Dynamics
پدیدآورنده : by Eleuterio F. Toro.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science-- Mathematics.,Engineering.,Hydraulic engineering.
